$\forall$$x$$\in$$L$.$P$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$x$,$p$. $P$($x$) \& $p$;True;$L$)